Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
771	Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Quicken Interchange Format Java Pathfinder Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
772	Software Security: A Formal Perspective (Notes for a Talk) Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-06-26 10:13:21 Cyberwarfare PaX Buffer overflow Stack buffer overflow Vulnerability Application security Formal methods Malware Static program analysis Software bugs Computer security Computing
773	Microsoft Word - agile-vs-trad-coq.doc Add to Reading List Source URL: davidfrico.com Language: English - Date: 2014-06-25 20:02:04 Software project management Software development process Formal methods Software engineering Extreme programming Quality assurance Requirement Acceptance testing DevOps Software development Software Agile software development
774	CONTACT: For immediate release Jaclyn Sparks Marketing Product Manager Add to Reading List Source URL: www.sqe.com Language: English - Date: 2015-03-23 13:52:06 Software development process Software project management DevOps Information technology management Formal methods Software testing Software development Software Agile software development
775	Formal Methods in the Wild: Trains, Planes, & Automobile Asaf Degani1 General Motors email: Add to Reading List Source URL: fm2012.cnam.fr - Date: 2012-06-26 10:13:21
776	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
777	Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Logic in computer science Electronic design automation NP-complete problems Model checking Java Pathfinder Satisfiability Modulo Theories Concolic testing KeY Theoretical computer science Applied mathematics Mathematics
778	EARLY SIZING AND EARLY RISK ANALYSIS OF SOFTWARE PROJECTS Capers Jones, President Add to Reading List Source URL: www.namcook.com Language: English - Date: 2011-12-20 12:20:06 Formal methods Information technology management Management Software sizing Software quality Function point Software development process Software project management Risk management Software metrics Software development Project management
779	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
780	Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2011-10-12 05:34:03 Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Satisfiability Modulo Theories WalkSAT Resolution Local search Theoretical computer science Constraint programming Applied mathematics

UPDATE